Knihy od autora Klaus Havelund

Zobrazeno 1 – 10 z 10 výsledků

1. 

   SPIN Model Checking and Software Verification

   Klaus Havelund, John Penix, Willem Visser | Springer, Berlin, 2000

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   NASA Formal Methods

   Jyotirmoy Deshmukh, Klaus Havelund, Ivan Perez | Springer International Publishing AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3062 Kč

   Koupit
3. 

   Java Pathfinder User Guide

   Klaus Havelund | Bibliogov, 2013

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   375 Kč

   Koupit
4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Erika Abraham, Klaus Havelund | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 
   Předobjednávka

   Novinka

   NASA Formal Methods

   Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto | Springer, Berlin, 2026

   
   

   Očekávaná novinka - Vydání 13. 08. 2026

   Jazyk: Angličtina

   Vazba: Brožovaná

   2058 Kč

   Předobjednat
6. 

   Formal Methods

   Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2122 Kč

   Koupit
7. 

   NASA Formal Methods

   Klaus Havelund, Gerard Holzmann, Rajeev Joshi | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
8. 

   NASA Formal Methods

   Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1352 Kč

   Koupit
9. 

   Model Checking Software

   Klaus Havelund, Rupak Majumdar, Jens Palsberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
10. 

    Formal Approaches to Software Testing and Runtime Verification

    Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit

Knihy vám rádi za malý poplatek dárkově zabalíme. Zjistěte více